1. Abstraction, reformulation, and approximation : 4th international symposium, SARA 2000, Lake LBJ, Texas, USA, July 26-29, 2000 : proceedings
المؤلف: Berthe Y. Choueiry, Toby Walsh )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer science,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1864
2. Algorithmic Decision Theory
المؤلف: \ Toby Walsh (Ed.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Decision making -- Mathematical models -- Congresses.,Decision trees -- Congresses.,Data mining -- Congresses.,تصمیم‌گیری -- الگو‌های ریاضی -- کنگره ها ,درخت‌های تصمیم -- کنگره ها ,داده‌کاوی -- کنگره‌ها
رده :
HD
30
.
23
.
A55
2015
E-Book
,
3. Algorithmic Decision Theory
المؤلف: / Toby Walsh
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
4. Handbook of constraint programming
المؤلف: / edited by Francesca Rossi, Peter van Beek, Toby Walsh
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Constraint programming (Computer science)
رده :
QA
76
.
612
.
H35
2006
R
5. Handbook of constraint programming
المؤلف: / edited by Francesca Rossi, Peter van Beek, Toby Walsh
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Constraint programming (Computer science)
رده :
QA
,
76
.
612
,.
H35
,
2006
6. Principles and practice of constraint programming-CP2001 : 7th international conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001 : proceedings
المؤلف: Toby Walsh )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2239
7. SAT 2005 :
المؤلف: edited by Enrico Giunchiglia and Toby Walsh.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational complexity.,Computer algorithms.,Propositional calculus.,Computational complexity.,Computational complexity.,Computer algorithms.,Computer algorithms.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Informatique.,Propositional calculus.,Propositional calculus.
رده :
QA76
.
9
.
A43
S28
2006eb
8. SAT2000 : highlights of satisfiability research in the year 2000
المؤلف: /Ian Gent , Hans van Maaren, Toby Walsh.
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع:
9. Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
المؤلف: Fahiem Bacchus, Toby Walsh )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
3569
